string formatting in python example